How do you delete a file that contains a virus